Ensure curr_vcpu in domain.c is set correctly, even when
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 29 Mar 2006 14:39:22 +0000 (15:39 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 29 Mar 2006 14:39:22 +0000 (15:39 +0100)
commit0f60ff7a3bbc10ff56b5c00498f16206ade50fe9
tree336d1d804f8ce625b728b51ae0b37404d640a84d
parent54336cd68592c0d48749ac5d3ce2c20fbfd2ab46
Ensure curr_vcpu in domain.c is set correctly, even when
nr physical cpus is greater than max virtual cpus per domain.

Also do not initialise secondary CPU smp_processor_id() from
smpboot.c cpucount. It will be wrong if some CPUs fail to boot.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c
xen/arch/x86/setup.c
xen/arch/x86/smpboot.c
xen/include/asm-x86/current.h